<html>
<head><meta charset="utf-8"><title>weekly meeting October 23 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html">weekly meeting October 23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136360810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136360810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136360810">(Oct 23 2018 at 19:28)</a>:</h4>
<p>Good afternoon <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> — sync meeting in a few minutes</p>



<a name="136360974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136360974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136360974">(Oct 23 2018 at 19:30)</a>:</h4>
<p><a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage-Em2cJrvxQMMFWLE7lE5Be">Triage document</a></p>



<a name="136361114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361114">(Oct 23 2018 at 19:33)</a>:</h4>
<p>hey everyone; sorry, i'm moving a little slow  today</p>



<a name="136361173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361173">(Oct 23 2018 at 19:34)</a>:</h4>
<p>we've got some recent injections that are probably due to the recent <code>E as T</code> support</p>



<a name="136361187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361187">(Oct 23 2018 at 19:34)</a>:</h4>
<p>did we open an issue on that?</p>



<a name="136361193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361193">(Oct 23 2018 at 19:34)</a>:</h4>
<p>there's at least one</p>



<a name="136361206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361206">(Oct 23 2018 at 19:35)</a>:</h4>
<p>but e.g. <a href="https://github.com/rust-lang/rust/issues/55241" target="_blank" title="https://github.com/rust-lang/rust/issues/55241">https://github.com/rust-lang/rust/issues/55241</a> is ... another?</p>



<a name="136361228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361228">(Oct 23 2018 at 19:35)</a>:</h4>
<p>maybe what I really meant is</p>



<a name="136361235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361235">(Oct 23 2018 at 19:35)</a>:</h4>
<p>should we add those to the milestone</p>



<a name="136361237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361237">(Oct 23 2018 at 19:35)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> pointed out a possible fix over in <a class="stream" data-stream-id="131828" href="/#narrow/stream/131828-t-compiler">#t-compiler</a></p>



<a name="136361239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361239">(Oct 23 2018 at 19:35)</a>:</h4>
<p>so the ICE's aren't mitigated</p>



<a name="136361288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361288">(Oct 23 2018 at 19:36)</a>:</h4>
<p>in <a href="#narrow/stream/131828-t-compiler/topic/PlaceContext.20for.20AscribeUserType" title="#narrow/stream/131828-t-compiler/topic/PlaceContext.20for.20AscribeUserType">this topic</a> — but perhaps I misunderstood</p>



<a name="136361292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361292">(Oct 23 2018 at 19:36)</a>:</h4>
<p>oh I hadn't seen @RalfJ's note</p>



<a name="136361297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361297">(Oct 23 2018 at 19:36)</a>:</h4>
<p>/me was literally lying down five minutes ago</p>



<a name="136361298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361298">(Oct 23 2018 at 19:36)</a>:</h4>
<p>I can take a look at fixing that this afternoon perhaps</p>



<a name="136361320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361320">(Oct 23 2018 at 19:37)</a>:</h4>
<p>anyway</p>



<a name="136361342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361342">(Oct 23 2018 at 19:37)</a>:</h4>
<p>my suspicion is that the ICE's dont block the release</p>



<a name="136361356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361356">(Oct 23 2018 at 19:38)</a>:</h4>
<p>but they should be targetted for backports to beta if they don't get in before the rollover</p>



<a name="136361402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361402">(Oct 23 2018 at 19:38)</a>:</h4>
<p>(has the rollover from nightly to beta already happened?)</p>



<a name="136361409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361409">(Oct 23 2018 at 19:38)</a>:</h4>
<p>that's tomorrow, right?</p>



<a name="136361419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361419">(Oct 23 2018 at 19:38)</a>:</h4>
<p>probably</p>



<a name="136361420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361420">(Oct 23 2018 at 19:38)</a>:</h4>
<blockquote>
<p>FWIW meeting is kinda late, beta/stable promotion needs to happen Wednesday at the absolute latest</p>
</blockquote>



<a name="136361424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361424">(Oct 23 2018 at 19:38)</a>:</h4>
<p>that's what <span class="user-mention" data-user-id="116122">@simulacrum</span> said earlier</p>



<a name="136361427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361427">(Oct 23 2018 at 19:38)</a>:</h4>
<p>I don't 100% know what means</p>



<a name="136361430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361430">(Oct 23 2018 at 19:39)</a>:</h4>
<p>should we remove that from the milestone, then, and move to the "release" milestone?</p>



<a name="136361439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361439">(Oct 23 2018 at 19:39)</a>:</h4>
<p>"meeting is kinda late"  ?</p>



<a name="136361440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361440">(Oct 23 2018 at 19:39)</a>:</h4>
<p>anyway, we're kind of in the weeds a bit here :)</p>



<a name="136361441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361441">(Oct 23 2018 at 19:39)</a>:</h4>
<p>this meeting is "kinda late"?</p>



<a name="136361449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361449">(Oct 23 2018 at 19:39)</a>:</h4>
<p>oh, no, that was referreing to something else</p>



<a name="136361451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361451">(Oct 23 2018 at 19:39)</a>:</h4>
<p>the "rust release" mtg I think</p>



<a name="136361460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361460">(Oct 23 2018 at 19:39)</a>:</h4>
<p>oh okay</p>



<a name="136361476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361476">(Oct 23 2018 at 19:39)</a>:</h4>
<p>so <span class="user-mention" data-user-id="116083">@pnkfelix</span> and I had been talking about using this meeting to talk "post NLL shipping" plans</p>



<a name="136361523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361523">(Oct 23 2018 at 19:40)</a>:</h4>
<p>but I will say that reviewing the list of work makes me realize there's still plenty of little things to handle ;)</p>



<a name="136361532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361532">(Oct 23 2018 at 19:40)</a>:</h4>
<p>but probably it's good to talk about that anyway</p>



<a name="136361542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361542">(Oct 23 2018 at 19:40)</a>:</h4>
<p>/me hopes <a href="https://github.com/rust-lang/rust/pull/55229" target="_blank" title="https://github.com/rust-lang/rust/pull/55229">https://github.com/rust-lang/rust/pull/55229</a> will land dang it</p>



<a name="136361567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361567">(Oct 23 2018 at 19:40)</a>:</h4>
<p>right. but I'll say up front that my incination was "we're pretty close to being 'done' with NLL as an initial product"</p>



<a name="136361581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361581">(Oct 23 2018 at 19:40)</a>:</h4>
<p>yep, I agree</p>



<a name="136361583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361583">(Oct 23 2018 at 19:40)</a>:</h4>
<p>and so I wasn't sure whether we needed this standing meeting as it currently stands</p>



<a name="136361591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361591">(Oct 23 2018 at 19:41)</a>:</h4>
<p>(who's here today, btw?)</p>



<a name="136361610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361610">(Oct 23 2018 at 19:41)</a>:</h4>
<p>looks like <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> and <span class="user-mention" data-user-id="116107">@davidtwco</span></p>



<a name="136361613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361613">(Oct 23 2018 at 19:41)</a>:</h4>
<p>(from paper doc)</p>



<a name="136361618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361618">(Oct 23 2018 at 19:41)</a>:</h4>
<p>(and from the waves above)</p>



<a name="136361619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361619">(Oct 23 2018 at 19:41)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="136361697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361697">(Oct 23 2018 at 19:42)</a>:</h4>
<p>I left some notes in the paper doc (e.g., <a href="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AQC6SyQnENj5so8k~3ysAkrUAg-Em2cJrvxQMMFWLE7lE5Be#:uid=120884377353441281918207&amp;h2=Topics-for-today:" target="_blank" title="https://paper.dropbox.com/doc/Non-lexical-lifetimes-NLL-Triage--AQC6SyQnENj5so8k~3ysAkrUAg-Em2cJrvxQMMFWLE7lE5Be#:uid=120884377353441281918207&amp;h2=Topics-for-today:">here</a>)</p>



<a name="136361703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361703">(Oct 23 2018 at 19:42)</a>:</h4>
<p>just kind of "brain dumping"</p>



<a name="136361745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361745">(Oct 23 2018 at 19:43)</a>:</h4>
<p>it might be worth looking at the A-nll bugs though; it seems to me that when it comes to <em>diagnostics</em> we are basically at the "good enough" category, though I still think it'd be great to have a renewed push around simplifying our vocabulary etc, but I might like to get a bit of experience first</p>



<a name="136361756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361756">(Oct 23 2018 at 19:43)</a>:</h4>
<p>yeah I still need to do the .stderr review</p>



<a name="136361802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361802">(Oct 23 2018 at 19:44)</a>:</h4>
<p>notably we still have <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+Release%22" target="_blank" title="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+Release%22">19 bugs tagged to the final release in 6 weeks</a></p>



<a name="136361831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361831">(Oct 23 2018 at 19:44)</a>:</h4>
<p>a bunch of those are NLL-fixed-by-NLL though</p>



<a name="136361838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361838">(Oct 23 2018 at 19:44)</a>:</h4>
<p>well, two</p>



<a name="136361846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361846">(Oct 23 2018 at 19:45)</a>:</h4>
<p>the NLL-deferred might be more worrisome</p>



<a name="136361857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361857">(Oct 23 2018 at 19:45)</a>:</h4>
<p>8 are diagnostics</p>



<a name="136361865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361865">(Oct 23 2018 at 19:45)</a>:</h4>
<p>7 are soundness</p>



<a name="136361876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361876">(Oct 23 2018 at 19:45)</a>:</h4>
<p>basically all user type annot</p>



<a name="136361883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361883">(Oct 23 2018 at 19:45)</a>:</h4>
<p>some ICEs</p>



<a name="136361944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136361944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136361944">(Oct 23 2018 at 19:46)</a>:</h4>
<p>and 3 NLL-deferred issues :)</p>



<a name="136362000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362000">(Oct 23 2018 at 19:47)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+Release%22+-label%3ANLL-fixed-by-NLL" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AA-NLL+milestone%3A%22Rust+2018+Release%22+-label%3ANLL-fixed-by-NLL">That same search without NLL-fixed-by-NLL</a>.</p>



<a name="136362073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362073">(Oct 23 2018 at 19:48)</a>:</h4>
<p>anyway I think all that this means is that there is (sadly) still some work to do on user-type annotations post RC2</p>



<a name="136362078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362078">(Oct 23 2018 at 19:48)</a>:</h4>
<p>this brings up that question I raised of whether we expect to backport those things</p>



<a name="136362083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362083">(Oct 23 2018 at 19:48)</a>:</h4>
<p>plus I imagine there'll be more ICEs</p>



<a name="136362096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362096">(Oct 23 2018 at 19:48)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> <span class="user-mention" data-user-id="116083">@pnkfelix</span> FWIW nightly/beta promotion is early next week, that was specifically referencing anything that needs to be in <em>current</em> beta (i.e., Thursday's stable)</p>



<a name="136362114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362114">(Oct 23 2018 at 19:48)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> I see</p>



<a name="136362134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362134">(Oct 23 2018 at 19:49)</a>:</h4>
<p>Which was I think a non-NLL thing that I was referencing</p>



<a name="136362145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362145">(Oct 23 2018 at 19:49)</a>:</h4>
<p>Is there an NLL thing that I should be aware of?</p>



<a name="136362152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362152">(Oct 23 2018 at 19:49)</a>:</h4>
<p>not related to current stable</p>



<a name="136362160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362160">(Oct 23 2018 at 19:49)</a>:</h4>
<p>we are trying to close out all the RC2 blockers</p>



<a name="136362168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362168">(Oct 23 2018 at 19:49)</a>:</h4>
<p>okay, sounds good</p>



<a name="136362255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362255">(Oct 23 2018 at 19:50)</a>:</h4>
<p>really <em>right now</em> we've just got one</p>



<a name="136362267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362267">(Oct 23 2018 at 19:50)</a>:</h4>
<p>which is being tested by bors right now</p>



<a name="136362268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362268">(Oct 23 2018 at 19:50)</a>:</h4>
<p>however</p>



<a name="136362273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362273">(Oct 23 2018 at 19:50)</a>:</h4>
<p>there are some ICEs that have been cropping up</p>



<a name="136362281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362281">(Oct 23 2018 at 19:50)</a>:</h4>
<p>so those might be "nice to haves"</p>



<a name="136362292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362292">(Oct 23 2018 at 19:50)</a>:</h4>
<p>once we have a fix</p>



<a name="136362293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362293">(Oct 23 2018 at 19:50)</a>:</h4>
<p>wait nightly/beta promotion is next week ... based on, whatever state nightly is in at that time next week?</p>



<a name="136362319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362319">(Oct 23 2018 at 19:51)</a>:</h4>
<p>well, it was supposed to be today</p>



<a name="136362321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362321">(Oct 23 2018 at 19:51)</a>:</h4>
<p>as in, the October 25th deadline is ... very soft indeed?</p>



<a name="136362325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362325">(Oct 23 2018 at 19:51)</a>:</h4>
<p>I've not had a chance to pickup a new issue yet - if there's anything that has a priority that you think I could handle I can dump some time into it over the next few days.</p>



<a name="136362329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362329">(Oct 23 2018 at 19:51)</a>:</h4>
<p>Yes, because it's RC2</p>



<a name="136362334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362334">(Oct 23 2018 at 19:51)</a>:</h4>
<p>The next milestone is not debatable/modifiable</p>



<a name="136362341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362341">(Oct 23 2018 at 19:51)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> maybe one of these ICEs</p>



<a name="136362350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362350">(Oct 23 2018 at 19:51)</a>:</h4>
<p>i see, so the rollover date for RC2 is slipping a few days then?</p>



<a name="136362401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362401">(Oct 23 2018 at 19:52)</a>:</h4>
<p>just trying to make sure I understand</p>



<a name="136362406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362406">(Oct 23 2018 at 19:52)</a>:</h4>
<p>Yes, because I think there's NLL work and a few other things that want to be in that beta so we'll just wait instead of backporting</p>



<a name="136362408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362408">(Oct 23 2018 at 19:52)</a>:</h4>
<p>All three of the <code>I-ICE</code> issues are assigned to you or <span class="user-mention" data-user-id="116083">@pnkfelix</span> - are there others that aren't tagged like that?</p>



<a name="136362424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362424">(Oct 23 2018 at 19:52)</a>:</h4>
<p>I don't know of one, we could maybe unassign</p>



<a name="136362429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362429">(Oct 23 2018 at 19:52)</a>:</h4>
<p>(I think it makes the release slightly smoother too, in some sense -- less things that need to happen this week)</p>



<a name="136362567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362567">(Oct 23 2018 at 19:54)</a>:</h4>
<p>Just to make sure NLL has no work that needs to land in current stable, right?</p>



<a name="136362573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362573">(Oct 23 2018 at 19:54)</a>:</h4>
<p>I believe that is the case, yes (that there is no NLL work that needs to land in the current stable)</p>



<a name="136362585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362585">(Oct 23 2018 at 19:54)</a>:</h4>
<p>Okay -- if not, please ping me so I can be aware of it before the release :)</p>



<a name="136362611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362611">(Oct 23 2018 at 19:55)</a>:</h4>
<p>I don't think we even have anything that needs to lands in the current beta, either ... right?</p>



<a name="136362653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362653">(Oct 23 2018 at 19:55)</a>:</h4>
<p>Hmm <span class="user-mention" data-user-id="116107">@davidtwco</span> these ICEs don't all look the same; some of the ones in <a href="https://github.com/rust-lang/rust/issues/55241" target="_blank" title="https://github.com/rust-lang/rust/issues/55241">#55241</a> may be fixed by my PR</p>



<a name="136362656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362656">(Oct 23 2018 at 19:56)</a>:</h4>
<p>we basically were deciding about whether to try to force some stuff in, or plan on backports, or just let certain subtle things ship in a buggy state initially</p>



<a name="136362699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362699">(Oct 23 2018 at 19:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> well I had <a href="https://github.com/rust-lang/rust/issues/55229" target="_blank" title="https://github.com/rust-lang/rust/issues/55229">#55229</a> as a blocker, since it's ready and fixes various ICEs and unsoundnesses</p>



<a name="136362706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362706">(Oct 23 2018 at 19:56)</a>:</h4>
<p>but if push came to shove...</p>



<a name="136362711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362711">(Oct 23 2018 at 19:56)</a>:</h4>
<p>anyway, it should <em>hopefully</em> land very soon</p>



<a name="136362714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362714">(Oct 23 2018 at 19:56)</a>:</h4>
<p>er, sorry, wrong link (fixed)</p>



<a name="136362763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362763">(Oct 23 2018 at 19:57)</a>:</h4>
<p>right, but that isn't targeting current beta? Just nightly?</p>



<a name="136362837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362837">(Oct 23 2018 at 19:58)</a>:</h4>
<p>I guess I may not be talking clearly about "current beta" vs "next beta' ?</p>



<a name="136362841"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362841" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362841">(Oct 23 2018 at 19:58)</a>:</h4>
<p>/me confused</p>



<a name="136362848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362848">(Oct 23 2018 at 19:58)</a>:</h4>
<p>sorry I misunderstood you I guess</p>



<a name="136362859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362859">(Oct 23 2018 at 19:58)</a>:</h4>
<p>I was just reacting to <span class="user-mention" data-user-id="116122">@simulacrum</span> 's Q "Just to make sure NLL has no work that needs to land in current stable, right?"</p>



<a name="136362867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362867">(Oct 23 2018 at 19:58)</a>:</h4>
<p>right, I think your answer is correct</p>



<a name="136362897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362897">(Oct 23 2018 at 19:59)</a>:</h4>
<p>anyway it certainly sounds like <a href="https://github.com/rust-lang/rust/issues/55229" target="_blank" title="https://github.com/rust-lang/rust/issues/55229">#55229</a> will land in time</p>



<a name="136362913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362913">(Oct 23 2018 at 19:59)</a>:</h4>
<p>Holy crow its been 29minutes and we haven't even mentioned what I thought was going to be the main topic of the meeting</p>



<a name="136362918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362918">(Oct 23 2018 at 19:59)</a>:</h4>
<p>lol</p>



<a name="136362924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362924">(Oct 23 2018 at 19:59)</a>:</h4>
<p>If you want to pick something suitable and assign me it then I'll take a look at that.</p>



<a name="136362993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136362993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136362993">(Oct 23 2018 at 20:00)</a>:</h4>
<p>I'll also pick up random diagnostic issues throughout the week if I have time.</p>



<a name="136363001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363001">(Oct 23 2018 at 20:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> which is the <code>&amp;'static</code>issue we were talking about again...?</p>



<a name="136363027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363027">(Oct 23 2018 at 20:00)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/55288" target="_blank" title="https://github.com/rust-lang/rust/issues/55288">#55288</a></p>



<a name="136363041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363041">(Oct 23 2018 at 20:01)</a>:</h4>
<p>right</p>



<a name="136363045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363045">(Oct 23 2018 at 20:01)</a>:</h4>
<p>/me puts it on the milestone</p>



<a name="136363058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363058">(Oct 23 2018 at 20:01)</a>:</h4>
<p>so, <span class="user-mention" data-user-id="116107">@davidtwco</span>, I think we should investigate <em>that</em> one <a href="https://github.com/rust-lang/rust/issues/55288" target="_blank" title="https://github.com/rust-lang/rust/issues/55288">https://github.com/rust-lang/rust/issues/55288</a> :)</p>



<a name="136363064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363064">(Oct 23 2018 at 20:01)</a>:</h4>
<p>might require a bit of context</p>



<a name="136363072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363072">(Oct 23 2018 at 20:01)</a>:</h4>
<p>but we can chat about it over in another topic</p>



<a name="136363087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363087">(Oct 23 2018 at 20:01)</a>:</h4>
<p>I just assigned you tho</p>



<a name="136363122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363122">(Oct 23 2018 at 20:02)</a>:</h4>
<p>Sounds good.</p>



<a name="136363140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363140">(Oct 23 2018 at 20:02)</a>:</h4>
<p>the topic that <span class="user-mention" data-user-id="116083">@pnkfelix</span> and I had <strong>intended</strong> to cover was sort of the "post shipping plans"... you can see I left some notes about possible directions we can go ...</p>



<a name="136363155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363155">(Oct 23 2018 at 20:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> and I were chatting this morning and in particular debating about whether to push more on polonius or wait until we've "cleaned up" the existing codebase more</p>



<a name="136363170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363170">(Oct 23 2018 at 20:02)</a>:</h4>
<p>since right now it is kind of a mess — for example, we have two borrow checkers and two region checkers :)</p>



<a name="136363179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363179">(Oct 23 2018 at 20:03)</a>:</h4>
<p>(3 if you count polonius in its current state...)</p>



<a name="136363196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363196">(Oct 23 2018 at 20:03)</a>:</h4>
<p>Double the safety</p>



<a name="136363217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363217">(Oct 23 2018 at 20:03)</a>:</h4>
<p>we sort of surprised ourselves by finding that it seemed like it made sense to push on polonius — basically because it shouldn't <em>impede</em> the other stuff, hopefully, and that stuff kind of has to bake before we can do much simplification</p>



<a name="136363269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363269">(Oct 23 2018 at 20:04)</a>:</h4>
<p>I think that over the next N weeks though a lot depends on how much work we wind up having to do getting NLL formally shipped</p>



<a name="136363373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363373">(Oct 23 2018 at 20:06)</a>:</h4>
<p>Anyway, I guess we'll talk about it more next time. I hope to put in some time bringing polonius back in cache this week, though I've said that before. I'd like to at least start documenting poloinius in rustc-guide and decide whether that case that was a discrepancy between opt and naive was indeed a bug</p>



<a name="136363420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363420">(Oct 23 2018 at 20:06)</a>:</h4>
<p>it occurs to me btw <span class="user-mention" data-user-id="116083">@pnkfelix</span> that this is another work item — documenting</p>



<a name="136363433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363433">(Oct 23 2018 at 20:06)</a>:</h4>
<p>e.g., rustc-guide, but also rust reference etc</p>



<a name="136363439"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363439" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363439">(Oct 23 2018 at 20:06)</a>:</h4>
<p>right</p>



<a name="136363466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363466">(Oct 23 2018 at 20:06)</a>:</h4>
<p>I hope to get to that before too long</p>



<a name="136363479"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363479" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363479">(Oct 23 2018 at 20:07)</a>:</h4>
<p>for the reference at least</p>



<a name="136363484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363484">(Oct 23 2018 at 20:07)</a>:</h4>
<p>to what specifically? ah</p>



<a name="136363595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363595">(Oct 23 2018 at 20:08)</a>:</h4>
<p>well I guess we can talk about it more next week</p>



<a name="136363632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363632">(Oct 23 2018 at 20:08)</a>:</h4>
<p>besides that ICE, I think the top priority should be the user-type-annot bugs</p>



<a name="136363646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363646">(Oct 23 2018 at 20:08)</a>:</h4>
<p>not sure how many of those are really left</p>



<a name="136363664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363664">(Oct 23 2018 at 20:09)</a>:</h4>
<p>There are open PRs for the two major cases</p>



<a name="136363665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363665">(Oct 23 2018 at 20:09)</a>:</h4>
<p>yeah we've got some PR's to land</p>



<a name="136363695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363695">(Oct 23 2018 at 20:09)</a>:</h4>
<p>The rest appear to be unfortunate edge cases</p>



<a name="136363784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363784">(Oct 23 2018 at 20:10)</a>:</h4>
<p>and normalization related bugs</p>



<a name="136363793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363793">(Oct 23 2018 at 20:10)</a>:</h4>
<p>not sure if that's "edge case" or not</p>



<a name="136363958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136363958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136363958">(Oct 23 2018 at 20:12)</a>:</h4>
<p>yeah I want to dig into that one more...</p>



<a name="136367931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136367931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136367931">(Oct 23 2018 at 21:17)</a>:</h4>
<p>sorry I couldn’t participate today, travelling to Mexico</p>



<a name="136367983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20October%2023/near/136367983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20October.2023.html#136367983">(Oct 23 2018 at 21:18)</a>:</h4>
<p>gonna read the log tomorrow</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>